Wyniki
-
A note on derivation rules in modal logic
Valentin Goranko
Bulletin of the Section of Logic , 24 /2 (1995) s. 98-104 -
Proving unprovability in some normal modal logic
Valentin Goranko
Bulletin of the Section of Logic , 20 /1 (1991) s. 23-29